[tail] [up]

2.2.1 Integrals 1 to 96

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

305 352 334 34 282 1631 165 283 1331

N.S.

1 1.15 1.10 0.11 0.92 5.35 0.54 0.93 4.36

time (sec)

N/A 0.624 0.072 0.674 0.321 0.380 9.414 0.310 0.916

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

323 279 337 36 313 1613 168 303 1293

N.S.

1 0.86 1.04 0.11 0.97 4.99 0.52 0.94 4.00

time (sec)

N/A 0.451 0.070 0.560 0.306 0.369 9.495 0.293 9.281

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

754 849 534 34 0 2749 0 593 2510

N.S.

1 1.13 0.71 0.05 0.00 3.65 0.00 0.79 3.33

time (sec)

N/A 1.481 0.456 0.583 0.000 0.558 0.000 0.407 9.088

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 293 425 36 0 2741 0 625 2438

N.S.

1 0.89 1.29 0.11 0.00 8.33 0.00 1.90 7.41

time (sec)

N/A 0.496 0.134 0.598 0.000 0.643 0.000 0.439 0.715

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

791 1001 67 53 0 2461 136 0 10409

N.S.

1 1.27 0.08 0.07 0.00 3.11 0.17 0.00 13.16

time (sec)

N/A 1.301 0.035 0.167 0.000 0.322 19.014 0.000 9.717

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

791 1001 67 53 0 2461 136 0 10411

N.S.

1 1.27 0.08 0.07 0.00 3.11 0.17 0.00 13.16

time (sec)

N/A 1.306 0.026 0.163 0.000 0.306 6.282 0.000 9.776

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

349 365 69 57 0 2453 136 0 10337

N.S.

1 1.05 0.20 0.16 0.00 7.03 0.39 0.00 29.62

time (sec)

N/A 0.499 0.033 0.124 0.000 0.331 19.107 0.000 9.776

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

751 953 69 55 0 2453 136 0 10343

N.S.

1 1.27 0.09 0.07 0.00 3.27 0.18 0.00 13.77

time (sec)

N/A 1.347 0.029 0.131 0.000 0.327 6.382 0.000 9.850

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 497 55 42 0 1177 75 0 5341

N.S.

1 1.21 0.13 0.10 0.00 2.86 0.18 0.00 13.00

time (sec)

N/A 0.672 0.037 0.143 0.000 0.276 1.807 0.000 9.560

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

451 477 55 42 0 389 24 239 459

N.S.

1 1.06 0.12 0.09 0.00 0.86 0.05 0.53 1.02

time (sec)

N/A 0.732 0.016 0.076 0.000 0.267 0.864 0.367 0.102

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 90 64 22 72 61 73 72 33

N.S.

1 1.06 0.75 0.26 0.85 0.72 0.86 0.85 0.39

time (sec)

N/A 0.280 0.018 0.039 0.311 0.273 0.067 0.301 8.345

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 169 135 89 0 209 190 108 95

N.S.

1 1.21 0.96 0.64 0.00 1.49 1.36 0.77 0.68

time (sec)

N/A 0.355 0.144 0.145 0.000 0.272 0.341 0.366 0.087

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

347 397 258 27 0 189 19 247 311

N.S.

1 1.14 0.74 0.08 0.00 0.54 0.05 0.71 0.90

time (sec)

N/A 0.544 0.135 0.618 0.000 0.320 1.148 0.376 8.752

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

331 397 55 42 0 389 20 245 145

N.S.

1 1.20 0.17 0.13 0.00 1.18 0.06 0.74 0.44

time (sec)

N/A 0.542 0.017 0.078 0.000 0.266 1.277 0.310 0.137

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 32 31 28 27 43 26 29 21

N.S.

1 1.19 1.15 1.04 1.00 1.59 0.96 1.07 0.78

time (sec)

N/A 0.174 0.012 0.110 0.297 0.262 0.066 0.310 0.026

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 149 131 56 0 317 49 147 269

N.S.

1 1.14 1.00 0.43 0.00 2.42 0.37 1.12 2.05

time (sec)

N/A 0.273 0.063 0.112 0.000 0.281 0.661 0.374 0.117

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 53 40 0 349 24 0 399

N.S.

1 1.00 0.34 0.25 0.00 2.22 0.15 0.00 2.54

time (sec)

N/A 0.267 0.013 0.062 0.000 0.289 0.087 0.000 8.420

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 197 55 42 0 509 24 0 483

N.S.

1 1.15 0.32 0.25 0.00 2.98 0.14 0.00 2.82

time (sec)

N/A 0.287 0.015 0.060 0.000 0.304 0.086 0.000 8.465

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 127 111 58 0 221 49 123 233

N.S.

1 1.09 0.95 0.50 0.00 1.89 0.42 1.05 1.99

time (sec)

N/A 0.243 0.051 0.155 0.000 0.291 0.659 0.339 8.430

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

511 509 57 44 0 1177 76 0 5341

N.S.

1 1.00 0.11 0.09 0.00 2.30 0.15 0.00 10.45

time (sec)

N/A 0.773 0.035 0.049 0.000 0.277 1.868 0.000 9.534

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 477 57 44 0 421 26 223 447

N.S.

1 1.16 0.14 0.11 0.00 1.02 0.06 0.54 1.09

time (sec)

N/A 0.685 0.014 0.073 0.000 0.279 0.876 0.370 8.373

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 107 90 33 82 97 82 82 44

N.S.

1 1.10 0.93 0.34 0.85 1.00 0.85 0.85 0.45

time (sec)

N/A 0.296 0.043 0.069 0.312 0.284 0.070 0.303 0.046

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 164 129 87 0 195 148 108 109

N.S.

1 1.17 0.92 0.62 0.00 1.39 1.06 0.77 0.78

time (sec)

N/A 0.367 0.114 0.120 0.000 0.279 0.301 0.309 0.113

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

347 337 257 29 0 193 20 247 312

N.S.

1 0.97 0.74 0.08 0.00 0.56 0.06 0.71 0.90

time (sec)

N/A 0.604 0.098 0.589 0.000 0.303 1.175 0.379 8.547

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

355 347 57 44 0 417 26 253 208

N.S.

1 0.98 0.16 0.12 0.00 1.17 0.07 0.71 0.59

time (sec)

N/A 0.609 0.021 0.072 0.000 0.299 1.303 0.295 8.443

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 25 10 17 17 17 19 9

N.S.

1 1.00 1.92 0.77 1.31 1.31 1.31 1.46 0.69

time (sec)

N/A 0.153 0.005 0.064 0.297 0.274 0.062 0.291 0.014

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 155 129 64 0 285 51 147 269

N.S.

1 1.20 1.00 0.50 0.00 2.21 0.40 1.14 2.09

time (sec)

N/A 0.249 0.056 0.093 0.000 0.290 0.685 0.480 0.098

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 163 55 42 0 317 26 0 399

N.S.

1 0.99 0.33 0.25 0.00 1.92 0.16 0.00 2.42

time (sec)

N/A 0.259 0.013 0.059 0.000 0.273 0.086 0.000 0.108

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 195 57 44 0 477 26 0 483

N.S.

1 1.15 0.34 0.26 0.00 2.82 0.15 0.00 2.86

time (sec)

N/A 0.269 0.014 0.053 0.000 0.300 0.091 0.000 8.575

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 135 114 64 0 245 51 135 245

N.S.

1 1.08 0.91 0.51 0.00 1.96 0.41 1.08 1.96

time (sec)

N/A 0.234 0.039 0.096 0.000 0.276 0.672 0.353 8.513

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 189 71 47 0 153 163 107 133

N.S.

1 1.40 0.53 0.35 0.00 1.13 1.21 0.79 0.99

time (sec)

N/A 0.385 0.069 0.250 0.000 0.287 0.498 0.424 8.803

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 178 72 62 0 158 0 123 1

N.S.

1 1.09 0.44 0.38 0.00 0.96 0.00 0.75 0.01

time (sec)

N/A 0.347 0.040 0.213 0.000 0.286 0.000 0.313 8.700

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F A F(-2) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 188 89 62 0 181 0 131 1

N.S.

1 1.04 0.49 0.34 0.00 1.01 0.00 0.73 0.01

time (sec)

N/A 0.392 0.049 0.175 0.000 0.296 0.000 0.313 8.758

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 49 42 42 108 112 42 39

N.S.

1 1.00 1.00 0.86 0.86 2.20 2.29 0.86 0.80

time (sec)

N/A 0.201 0.019 0.056 0.299 0.286 0.136 0.284 8.496

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 86 90 0 291 423 83 127

N.S.

1 1.00 1.00 1.05 0.00 3.38 4.92 0.97 1.48

time (sec)

N/A 0.276 0.061 0.122 0.000 0.306 0.708 0.376 0.135

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 242 293 45 240 754 109 243 555

N.S.

1 0.96 1.16 0.18 0.95 2.98 0.43 0.96 2.19

time (sec)

N/A 0.467 0.073 0.045 0.294 0.305 0.348 0.294 0.186

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 212 251 65 0 2540 0 3179 6366

N.S.

1 1.02 1.21 0.31 0.00 12.21 0.00 15.28 30.61

time (sec)

N/A 0.463 0.119 0.095 0.000 0.461 0.000 1.022 9.231

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

311 348 346 45 295 1608 167 290 1308

N.S.

1 1.12 1.11 0.14 0.95 5.17 0.54 0.93 4.21

time (sec)

N/A 0.662 0.077 0.156 0.412 0.392 5.668 0.303 9.367

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

716 550 88 67 0 8707 0 0 11453

N.S.

1 0.77 0.12 0.09 0.00 12.16 0.00 0.00 16.00

time (sec)

N/A 1.109 0.036 0.620 0.000 3.349 0.000 0.000 25.624

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

753 867 551 45 0 2730 0 639 2520

N.S.

1 1.15 0.73 0.06 0.00 3.63 0.00 0.85 3.35

time (sec)

N/A 1.389 0.734 0.082 0.000 0.659 0.000 0.403 9.101

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

433 366 88 67 0 12946 0 0 50213

N.S.

1 0.85 0.20 0.15 0.00 29.90 0.00 0.00 115.97

time (sec)

N/A 0.656 0.060 0.102 0.000 5.095 0.000 0.000 13.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

141 141 127 0 0 0 466 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 3.30 0.00 0.00

time (sec)

N/A 0.325 0.562 0.000 0.000 0.000 4.012 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 107 107 0 0 0 296 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 2.77 0.00 0.00

time (sec)

N/A 0.265 0.221 0.000 0.000 0.000 2.824 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 83 0 0 0 209 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 2.52 0.00 0.00

time (sec)

N/A 0.207 0.070 0.000 0.000 0.000 2.159 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 152 131 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.304 0.179 0.000 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

205 205 186 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.385 0.269 0.000 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 81 0 0 0 214 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 2.64 0.00 0.00

time (sec)

N/A 0.211 0.089 0.000 0.000 0.000 2.254 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

288 288 188 0 0 0 0 0 0

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.448 0.384 0.000 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

203 203 136 0 0 0 0 0 0

N.S.

1 1.00 0.67 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.361 0.210 0.000 0.000 0.000 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 133 83 0 0 0 994 0 0

N.S.

1 0.99 0.62 0.00 0.00 0.00 7.42 0.00 0.00

time (sec)

N/A 0.270 0.078 0.000 0.000 0.000 168.683 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

333 333 227 0 0 0 0 0 0

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.484 0.266 0.000 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

410 410 298 0 0 0 0 0 0

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.630 0.469 0.000 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

424 424 188 0 0 0 0 0 0

N.S.

1 1.00 0.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.607 0.738 0.000 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

272 272 136 0 0 0 0 0 0

N.S.

1 1.00 0.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.432 0.445 0.000 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

184 194 83 0 0 0 0 0 0

N.S.

1 1.05 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.360 0.082 0.000 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

582 582 346 0 0 0 0 0 0

N.S.

1 1.00 0.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.746 0.424 0.000 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

701 701 426 0 0 0 0 0 0

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.013 0.716 0.000 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

171 171 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.359 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 21 23 23 0 23 23

N.S.

1 1.00 1.10 1.00 1.10 1.10 0.00 1.10 1.10

time (sec)

N/A 0.153 0.301 0.160 0.278 0.297 0.000 0.370 8.931

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

299 299 213 0 0 0 0 0 0

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.419 0.197 0.000 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

217 217 171 0 0 0 0 0 0

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.335 0.133 0.000 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 135 110 0 0 0 144 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 1.07 0.00 0.00

time (sec)

N/A 0.262 0.072 0.000 0.000 0.000 133.828 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-2) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

167 167 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.334 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

261 261 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.465 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

357 357 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.593 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 57 60 82 137 656 198 59

N.S.

1 1.00 0.92 0.97 1.32 2.21 10.58 3.19 0.95

time (sec)

N/A 0.212 0.181 0.084 0.206 0.313 0.391 0.303 8.392

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 123 128 208 495 3128 798 131

N.S.

1 1.00 0.93 0.97 1.58 3.75 23.70 6.05 0.99

time (sec)

N/A 0.306 0.765 0.196 0.225 0.366 1.342 0.377 8.490

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 205 212 386 1209 9190 2064 227

N.S.

1 1.00 0.94 0.97 1.77 5.55 42.16 9.47 1.04

time (sec)

N/A 0.435 3.841 0.475 0.199 0.366 5.814 0.379 8.548

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

308 308 295 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.776 1.883 0.000 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

224 224 216 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.566 0.560 0.000 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

154 154 134 0 0 0 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.309 0.156 0.000 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

243 243 200 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.580 0.432 0.000 0.000 0.000 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

368 368 327 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.785 0.821 0.000 0.000 0.000 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

552 552 509 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.094 1.759 0.000 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

750 750 5537 0 0 0 0 0 0

N.S.

1 1.00 7.38 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.327 7.564 0.000 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

543 543 2980 0 0 0 0 0 0

N.S.

1 1.00 5.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.546 3.839 0.000 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

362 312 603 0 0 0 0 0 0

N.S.

1 0.86 1.67 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.172 4.178 0.000 0.000 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

726 726 11767 0 0 0 0 0 0

N.S.

1 1.00 16.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.658 6.913 0.000 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

1129 1129 16855 0 0 0 0 0 0

N.S.

1 1.00 14.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.840 7.875 0.000 0.000 0.000 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1707 1707 13018 0 0 0 0 0 0

N.S.

1 1.00 7.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.330 7.822 0.000 0.000 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1191 1191 10910 0 0 0 0 0 0

N.S.

1 1.00 9.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.115 7.518 0.000 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

713 722 8593 0 0 0 0 0 0

N.S.

1 1.01 12.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.868 6.731 0.000 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

1708 1708 43535 0 0 0 0 0 0

N.S.

1 1.00 25.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.173 7.866 0.000 0.000 0.000 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

2446 2446 56566 0 0 0 0 0 0

N.S.

1 1.00 23.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 6.314 9.303 0.000 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

292 292 424 0 0 0 0 0 0

N.S.

1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.501 1.223 0.000 0.000 0.000 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

294 294 690 0 0 0 0 0 0

N.S.

1 1.00 2.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.467 3.255 0.000 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

292 292 245 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.461 0.366 0.000 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

298 298 414 0 0 0 0 0 0

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.493 1.564 0.000 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

298 298 701 0 0 0 0 0 0

N.S.

1 1.00 2.35 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.473 5.360 0.000 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 28 28 0 28 28

N.S.

1 1.00 1.08 1.00 1.08 1.08 0.00 1.08 1.08

time (sec)

N/A 0.156 1.326 0.115 0.261 0.307 0.000 1.205 10.626

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

606 606 438 0 0 0 0 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.832 0.816 0.000 0.000 0.000 0.000 0.000 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

447 447 338 0 0 0 0 0 0

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.608 0.628 0.000 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

288 288 243 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.452 0.461 0.000 0.000 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 28 28 0 28 28

N.S.

1 1.00 1.08 1.00 1.08 1.08 0.00 1.08 1.08

time (sec)

N/A 0.164 0.796 0.126 0.261 0.262 0.000 0.365 10.360

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 28 41 0 28 28

N.S.

1 1.00 1.08 1.00 1.08 1.58 0.00 1.08 1.08

time (sec)

N/A 0.162 0.624 0.079 0.271 0.276 0.000 0.372 11.181

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 26 28 54 0 28 28

N.S.

1 1.00 1.08 1.00 1.08 2.08 0.00 1.08 1.08

time (sec)

N/A 0.161 0.912 0.095 0.267 0.320 0.000 0.398 11.289

[front] [up]